package com.atguigu.practice;

import java.util.Scanner;

public class NotTwo {
    public static void main(String[] args) {
        Scanner scanner=new Scanner(System.in);
        int W=scanner.nextInt();
        int H=scanner.nextInt();
        int[][] array=new int[H][W];
        for(int i=0;i<H;i++){
            for(int j=0;j<W;j++){
                array[i][j]=1;
            }
        }
        int res=0;
        for(int i=0;i<H;i++){
            for(int j=0;j<W;j++){
                if(array[i][j]==1){
                    res++;
                    if(i+2<H){
                        array[i+2][j]=0;
                    }
                    if(j+2<W){
                        array[i][j+2]=0;
                    }
                }
            }
        }
        System.out.println(res);
    }
}
